- goals, often expressed in a predicate calculus
- Программирование: цели, часто выраженные в терминах исчисления предикатов
Универсальный англо-русский словарь. Академик.ру. 2011.
goals, often expressed in a predicate calculus
Смотреть что такое "goals, often expressed in a predicate calculus" в других словарях:
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Philosophy of mathematics — The philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of mathematics. The aim of the philosophy of mathematics is to provide an account of the nature and methodology of … Wikipedia
Critical thinking — is the process or method of thinking that questions assumptions. It is a way of deciding whether a claim is true, false, or sometimes true and sometimes false, or partly true and partly false. The origins of critical thinking can be traced in… … Wikipedia
philosophy, Western — Introduction history of Western philosophy from its development among the ancient Greeks to the present. This article has three basic purposes: (1) to provide an overview of the history of philosophy in the West, (2) to relate… … Universalium
artificial intelligence — the capacity of a computer to perform operations analogous to learning and decision making in humans, as by an expert system, a program for CAD or CAM, or a program for the perception and recognition of shapes in computer vision systems. Abbr.:… … Universalium
Characteristica universalis — Universal characteristic redirects here. For the concept of the three universal characteristics in Buddhism, see Three marks of existence. The Latin term characteristica universalis, commonly interpreted as universal characteristic, or universal… … Wikipedia
